104. A Logical Analysis of Relational Program Correctness
Author: Nikouei, Mohammad
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science
105. A Logical Analysis of Relational Program Correctness
Author: Nikouei, Mohammad
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science
106. <A> Professional's guide to Systems Analysis
Author: / Martin E. Modell
Library: Library and knowledge management of the management schools of Tehran University (Tehran)
Subject: System analysis,System design,Computer Software- Development
Classification :
658
.
4038011
M689p
1998
107. A hacker's guide to project management /
Author: Andrew K. Johnston ; illustrated by Sarah Ward, Helen Floate and Andrew K. Johnston.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Development-- Management.,Hackers.,Computer software-- Development-- Management.,COMPUTERS-- Software Development & Engineering-- Project Management.,Hackers.
Classification :
QA76
.
76
.
D47
J655
2003eb
108. A multidisciplinary introduction to information security /
Author: [edited by] Stig F. Mjølsnes
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer networks-- Security measures,Computer security,Computers-- Access control,Multidisciplinary design optimization
Classification :
QA76
.
9
.
A25
M845
2012
109. A professional's guide to systems analysis
Author: Modell, Martin E.
Library: Central Library and Documentation Center (Kerman)
Subject: ، System analysis,، System design,، Computer software - Development
Classification :
QA
76
.
9
.
S88
M64
1996
110. A professional’ s guide to systems analysis
Author: / Martin E. Modell,Modell
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: System analysis,System design,Computer Software-- Development
Classification :
QA
76
.
9
.
S88M64
1988
111. A survey of Islamic history -- Why an introduction to Islam specifically for Jews? -- Arabs and Israelites -- Pre-Islamic origins -- The emergence of Islam -- Muhammad and the Jews of Medina -- The death of the prophet and the expansion of the community -- The conquests -- The caliphal dynasties -- The decline of the Muslim world -- God, the Qur'an, and Islamic law -- God -- The five doctrines or "pillars of faith" -- The evolution of a formal theology -- The Qur'an -- The interpretive tradition -- The prophetic record -- Islamic law -- The workings of shari'a -- The umma: Islam in practice -- The umma and the caliphate -- The five pillars of Islam -- A sixth pillar? Jihad -- The range of practice among Muslims -- Sufism -- The shi'a -- Mosque and clergy -- The calendar -- The Muslim life-cycle -- Personal observance. 0
Author: Reuven Firestone.
Library: Library of Islamic Parliament (Tehran)
Subject:
112. Abstract state machines
Author: Egon Borger, Robert Stork
Library: Library of Urmia University of Technology (West Azarbaijan)
Subject: System design,Computer software- Development,Embedded computer systems
Classification :
QA
,
76
.
9
,.
S88B66
,
2003
113. Abstract state machines
Author: / Egon Brger,Robert Stark
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: system design,Computer software -- Development,Embeded computer systems
Classification :
QA
76
.
9
.
S88B66
2003
114. Abstract state machines
Author: / Egon Borger, Robert Stark
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: System design,Computer software -- Development,Embedded computer systems
Classification :
QA
76
.
9
.
S88B66
2003
115. Abstract state machines: a method for high-level system design and analysis
Author: Borger, E.)Egon(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، System design,، Computer software-- Development,، Embedded computer systems
Classification :
QA
76
.
9
.
S88
.
B66
2003
116. Abstract state machines : a method for high-level system design and analysis
Author: Borger, Egon, 1946-
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: System design ► Computer software-Development ► Embedded computer systems
Classification :
004
B732a
117. Abstract state machines :a method for high-level system design and analysis. [CD]
Author: / Egon Bغorger, Robert Stغark$7fa
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: System design,Computer software -- Development,Embedded computer systems
Classification :
QA76
.
9
.
S88B66
2003
118. Achieving Safety and Reliability with Computer Systems
Author: edited by B.K. Daniels.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Engineering.,Software engineering.,Statistics.
Classification :
QA76
.
76
.
R44
E358
1987
119. Achieving quality software :
Author: David J. Smith ; with a foreword by Paul W. Banks.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software -- Quality control.,Software engineering.
120. Achieving quality software : including its application to safety-related systems
Author: Smith, David J. )David John(
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، Software engineering,، Computer software -- Quality control,، System safety,، Software -- Quality control
Classification :
QA
76
.
76
.
A35
1995
